ADD_EXECUTABLE(test1 abstract_state.cpp abstract_state.hpp test1.cpp)

if(CMAKE_COMPILER_IS_GNUCXX)
    set(CMAKE_CXX_FLAGS "-g ")        ## Optimize
    set(CMAKE_EXE_LINKER_FLAGS "-g")  ## Strip binary

endif()
